341. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
342. Axiomatic analysis; an introduction to logic and the real number system, under the general editorship of David Vernon Widder
Author: Katz, Robert
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
248
.
3
.
K3
343. Axiomatic method and category theory
Author: Rodin, Andrei, Andrei Rodin
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
Classification :
QA248
344. Axiomatic theory of sets and classes
Author: Eisenberg, Murray
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Axiomatic set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
E37
345. Based Methods-Rigorous State
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematical logic. ; Artificial intelligence. ; Computer organization. ; Software engineering. ; Microprogramming?. ; Mathematical Logic and Formal Languages. ;
346. Basic Concepts of Synthetic Differential Geometry
Author: by René Lavendhomme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
347. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
510
Ge-B
348. Basic concepts of mathematics and logic
Author: Gemignani, Michael C
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
349. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Mathematics,Logic, symbolic and mathematical
Classification :
QA39
.
G38
350. Basic laws of arithmetic :
Author: by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg, with Crispin Wright and the advice of Michael Beaney [and nine others] ; appendix by Roy T. Cook.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
BC135
.
F85
351. Basice concepts of mathematics and logic
Author: Gemignani,Michel C
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
352. Beginning logic
Author: / E. J. Lemmon,Lemmon
Library: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
Subject: Logic, Symbolic and mathematical
Classification :
621
.
395
L554B
353. Benginning Logic
Author: / E. J. Lemmon
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,symbolic and mathematical
Classification :
511
.
3
L554B
354. Benutzerhandbuch für die interaktive Geometrie-Software :
Author: von Jürgen Richter-Gebert, Ulrich H. Kortenkamp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Geometry.,Logic, Symbolic and mathematical.
355. Berechenbarkeit, Komplexität, Logik :
Author: Egon Börger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
Classification :
QA9
.
56
E366
1992
356. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
Author: Garciadiego Dantan, Alejandro Ricardo.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
Classification :
QA
9
.
G2413
1992
357. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
Author: Garciadiego Dantan, Alejandro Ricardo
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
Classification :
QA
9
.
G29
358. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
Author: / Alejandro R. Garciadiego
Library: Ilam University Central Library (Ilam)
Subject: Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
Classification :
QA9
.
G2413
1992
359. Bertrand Russell and the origins of the set-theoretic 'paradoxes', Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
Author: Garciadiego Dantan, Alejandro Ricardo
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
Classification :
QA
9
.
G2413
1992
360. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
